#include <stdint-gcc.h>

extern volatile uint32_t memory[0x40000]; // 1MB

void myarm_und()
{
}

void __attribute__((section(".dram.text"))) main(void)
{
	memory[0] = 0x03020100;
	uint32_t r = memory[0];
}
